退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Java建模语言JML的逻辑
Bart Jacobs; Erik Poll;
机译:KRAKATOA工具,用于通过JML注释的JAVA / JAVACARD程序的认证
机译:自动将VDM转换为带有JML注释的Java
机译:迈向Java的工业级IVE和JML的下一代研究平台
机译:使用Java 5注释的Java建模语言(JML)的规范语言设计
机译:化学程序设计语言:HTML5 / JavaScript评述
机译:用于创建例如统一建模语言对象模型,具有一组子句,例如可操纵的逻辑子句,其中每个子句完全是声明性的,并与对象形式主义建模的组件相关联
机译:语言模型压缩装置,语言模型访问装置,语言模型压缩方法,语言模型访问方法,语言模型压缩程序,语言模型访问程序
机译:语言模型压缩装置,语言模型的访问装置,语言模型压缩方法,语言模型的访问方法,语言模型压缩程序和语言模型的访问程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。